Current State ID: 15
Current State Description: - fast0: Fast elevator remains at floor n0, empty, capacity 2.- fast1: Fast elevator now at floor n1, empty, ready to pick up passengers, capacity 2.- slow0-0: Slow elevator still at floor n1, empty, capacity 1.- slow1-0: Slow elevator at floor n2 with passenger p5 on board, full, capacity 1.- p0: Still on floor n1.- p1: On floor n1, ready to board fast1.- p2: On floor n4.- p3: On floor n4.- p4: On floor n1.- p5: Boarded on slow1-0 elevator on floor n2.

Child State ID: 32
Action Taken: board(p1, fast1, n1, 0, 1)
State Description: - fast0: Fast elevator remains at floor n0, empty, capacity 2.- fast1: Fast elevator at floor n1 with passenger p1 on board, 1/2 capacity.- slow0-0: Slow elevator still at floor n1, empty, capacity 1.- slow1-0: Slow elevator at floor n2 with passenger p5 on board, full, capacity 1.- p0: Still on floor n1.- p1: Boarded on fast1 elevator at floor n1.- p2: On floor n4.- p3: On floor n4.- p4: On floor n1.- p5: Boarded on slow1-0 elevator on floor n2.

Child State ID: 33
Action Taken: leave(p5, slow1-0, n2, 1, 0)
State Description: - fast0: Fast elevator remains at floor n0, empty, capacity 2.- fast1: Fast elevator at floor n1, empty, ready to pick up passengers, capacity 2.- slow0-0: Slow elevator remains at floor n1, empty, capacity 1.- slow1-0: Slow elevator at floor n2, now empty after p5 disembarked, capacity 1.- p0: Still on floor n1.- p1: On floor n1, ready to board fast1.- p2: On floor n4.- p3: On floor n4.- p4: On floor n1.- p5: Now on floor n2 after leaving slow1-0.

